non-deterministic algorithm